11203 - Can you decide it for ME/out2.txt

   1 no-theorem\r
   2 no-theorem\r
   3 no-theorem\r
   4 theorem\r
   5 no-theorem\r
   6 no-theorem\r
   7 no-theorem\r
   8 no-theorem\r
   9 no-theorem\r
  10 theorem\r